Section: Partnerships and Cooperations

International Collaborations

H. Garavel is a member of Ifip (International Federation for Information Processing) Technical Committee 1 (Foundations of Computer Science) Working Group 1.8 on Concurrency Theory chaired successively by Luca Aceto and Jos Baeten.